$\mid$$x$$\mid$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $x$$<_{2}$0$\rightarrow$ {-}$x$ else $x$ fi